Large cardinal axioms from tameness in AECs
نویسندگان
چکیده
منابع مشابه
Large Cardinal Axioms from Tameness in Aecs
We show that various tameness assertions about abstract elementary classes imply the existence of large cardinals under mild cardinal arithmetic assumptions. For instance, we show: Theorem. Let κ be uncountable such that μω < κ for every μ < κ. If every AEC with Löwenheim-Skolem number less than κ is < κ-tame, then κ is almost strongly compact. This is done by isolating a class of AECs that exh...
متن کاملTameness from Large Cardinal Axioms
We show that Shelah’s Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with LS(K) below a strongly compact cardinal κ is < κ tame and applying the categoricity transfer of Grossberg and VanDieren [GV06a]. These techniques also apply t...
متن کاملForcing Axioms and Cardinal Arithmetic
We survey some recent results on the impact of strong forcing axioms such as the Proper Forcing Axiom PFA and Martin’s Maximum MM on cardinal arithmetic. We concentrate on three combinatorial principles which follow from strong forcing axioms: stationary set reflection, Moore’s Mapping Reflection Principle MRP and the P-ideal dichotomy introduced by Abraham and Todorčević which play the key rol...
متن کاملForcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics
The purpose of this communication is to present some recent advances on the consequences that forcing axioms and large cardinals have on the combinatorics of singular cardinals. I will introduce a few examples of problems in singular cardinal combinatorics which can be fruitfully attacked using ideas and techniques coming from the theory of forcing axioms and then translate the results so obtai...
متن کاملCanonical forking in AECs
Boney and Grossberg [BG] proved that every nice AEC has an independence relation. We prove that this relation is unique: In any given AEC, there can exist at most one independence relation that satisfies existence, extension, uniqueness and local character. While doing this, we study more generally properties of independence relations for AECs and also prove a canonicity result for Shelah’s goo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2017
ISSN: 0002-9939,1088-6826
DOI: 10.1090/proc/13555